- absolutely automata theory
- абсолюттік автомат теориясы
Ақпараттану мен есептеу техникасы терминдерінің қытайша-қазақша-ағылшынша-орысша сөздігі. - Үрімжі: Шынжаң ғылым-техника баспасы. Ережепұлы Қ.. 2010.
absolutely automata theory
Look at other dictionaries:
Automata-based programming — is a programming paradigm in which the program or its part is thought of as a model of a finite state machine or any other (often more complicated) formal automata (see automata theory). Sometimes a potentially infinite set of possible states is… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Halting problem — In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever. This is equivalent to the problem of deciding, given a… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Michael O. Rabin — Michael Oser Rabin Born September 1, 1931 (1931 09 01) (age 80) Breslau … Wikipedia
Free will — This article is about the philosophical questions of free will. For other uses, see Free will (disambiguation). A domino s movement is determined completely by laws of physics. Incompatibilists say that this is a threat to free will, but… … Wikipedia
Animal rights — advocates propose that animals be viewed as persons, not property.[1] Description Animals are members of the moral community … Wikipedia
Digital philosophy — is a direction in philosophy and cosmology advocated by certain mathematicians and theoretical physicists, e.g., Gregory Chaitin, Edward Fredkin, Stephen Wolfram, and Konrad Zuse (see his Calculating Space). Digital philosophy grew out of an… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Normal number — For the floating point meaning in computing, see normal number (computing). In mathematics, a normal number is a real number whose infinite sequence of digits in every base b[1] is distributed uniformly in the sense that each of the b digit… … Wikipedia
Soul — • The question of the reality of the soul and its distinction from the body is among the most important problems of philosophy, for with it is bound up the doctrine of a future life Catholic Encyclopedia. Kevin Knight. 2006. Soul Soul … Catholic encyclopedia
